131![Formalizing the Concurrency Semantics of an LLVM Fragment Soham Chakraborty Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS), Germany Formalizing the Concurrency Semantics of an LLVM Fragment Soham Chakraborty Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS), Germany](https://www.pdfsearch.io/img/ef2cdb78629afea0b9527b0be9d59de2.jpg) | Add to Reading ListSource URL: plv.mpi-sws.org- Date: 2016-12-07 07:19:23
|
---|
132![Explaining Relaxed Memory Models with Program Transformations Ori Lahav and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. Weak memory models determine the behavior of concurrent Explaining Relaxed Memory Models with Program Transformations Ori Lahav and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. Weak memory models determine the behavior of concurrent](https://www.pdfsearch.io/img/271f1fdb79e3659d4bc95758e17b579f.jpg) | Add to Reading ListSource URL: plv.mpi-sws.org- Date: 2016-09-05 11:10:34
|
---|
133![Tackling Real-Life Relaxed Concurrency with FSL++ Marko Doko and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. We extend fenced separation logic (FSL), a program logic for Tackling Real-Life Relaxed Concurrency with FSL++ Marko Doko and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. We extend fenced separation logic (FSL), a program logic for](https://www.pdfsearch.io/img/57339cb65945682a0863cc78328a7dcb.jpg) | Add to Reading ListSource URL: plv.mpi-sws.org- Date: 2017-01-19 08:43:04
|
---|
134![Rg Rechts geschichte Zeitschri des Max-Planck-Instituts für europäische Rechtsgeschichte Rg Rechts geschichte Zeitschri des Max-Planck-Instituts für europäische Rechtsgeschichte](https://www.pdfsearch.io/img/05a27ae0cfd6ce2cc997b0504fc6dfcc.jpg) | Add to Reading ListSource URL: data.rg.mpg.de- Date: 2016-08-17 09:42:42
|
---|
135![Rg Rechts geschichte Zeitschri des Max-Planck-Instituts für europäische Rechtsgeschichte Rg Rechts geschichte Zeitschri des Max-Planck-Instituts für europäische Rechtsgeschichte](https://www.pdfsearch.io/img/7695ab133899ca442b4f5b11efcda862.jpg) | Add to Reading ListSource URL: data.rg.mpg.de- Date: 2016-08-17 09:42:42
|
---|
136![Rg Rechts geschichte Zeitschri des Max-Planck-Instituts für europäische Rechtsgeschichte Rg Rechts geschichte Zeitschri des Max-Planck-Instituts für europäische Rechtsgeschichte](https://www.pdfsearch.io/img/da84b96e9d6483dca6c05ba2b4f8315d.jpg) | Add to Reading ListSource URL: data.rg.mpg.de- Date: 2016-08-17 09:42:43
|
---|
137![Max Planck Institute for Demographic Research Konrad-Zuse-Str. 1, 18057 Rostock - Germany +secretary’s office) http://www.censusmosaic.org MOSAIC WORKING PAPER WP2012-007 Max Planck Institute for Demographic Research Konrad-Zuse-Str. 1, 18057 Rostock - Germany +secretary’s office) http://www.censusmosaic.org MOSAIC WORKING PAPER WP2012-007](https://www.pdfsearch.io/img/a035b3e4b6370ae267d95af3392696df.jpg) | Add to Reading ListSource URL: hauster.de- Date: 2015-09-03 11:17:09
|
---|
138![¨ biologische Kybernetik Max–Planck–Institut fur Max Planck Institute for Biological Cybernetics Technical Report No. TR-149 ¨ biologische Kybernetik Max–Planck–Institut fur Max Planck Institute for Biological Cybernetics Technical Report No. TR-149](https://www.pdfsearch.io/img/cc197adff1172284137533a7d5724c46.jpg) | Add to Reading ListSource URL: www.cs.cmu.edu- Date: 2008-10-09 14:59:32
|
---|
139![Towards Robot Skill Learning: From Simple Skills to Table Tennis Jan Peters, Jens Kober, Katharina Mülling, Oliver Krömer, Gerhard Neumann Technische Universität Darmstadt, 64293 Darmstadt, Germany Max Planck Institut Towards Robot Skill Learning: From Simple Skills to Table Tennis Jan Peters, Jens Kober, Katharina Mülling, Oliver Krömer, Gerhard Neumann Technische Universität Darmstadt, 64293 Darmstadt, Germany Max Planck Institut](https://www.pdfsearch.io/img/876ba52905adaab633bb0c0382217f0e.jpg) | Add to Reading ListSource URL: www.ias.informatik.tu-darmstadt.de- Date: 2013-06-26 08:56:21
|
---|
140![FREQUENCY DOMAIN SYSTEM IDENTIFICATION OF A LIGHT HELICOPTER IN HOVER a ¨ Stefano Geluardia,b , Frank M. Nieuwenhuizena , Lorenzo Pollinib and Heinrich H. Bulthoff a Max Planck Institute for Biological Cybernetics, T¨ FREQUENCY DOMAIN SYSTEM IDENTIFICATION OF A LIGHT HELICOPTER IN HOVER a ¨ Stefano Geluardia,b , Frank M. Nieuwenhuizena , Lorenzo Pollinib and Heinrich H. Bulthoff a Max Planck Institute for Biological Cybernetics, T¨](https://www.pdfsearch.io/img/fac38f92a028f1575727b01675024cb4.jpg) | Add to Reading ListSource URL: www.mycopter.eu- Date: 2014-07-28 06:57:34
|
---|